COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00007 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂CSL Prof. A. G. Dale, Chairman↓Department of Computer Science
↓University of Texas↓Austin, TEXAS 78712∞

Dear Professor Dale:

	Here is the information for inclusion in your brochure.  The
first paragraph of the abstract can serve as a one paragraph abstract.

title: Some Expert Systems Require Common Sense

abstract: Human common sense involves certain knowledge and ability
that is only beginning to be identified by artificial intelligence
research.  Only part of it has been formalized enough to be usable
by computer programs, and even less is involved in current expert
systems.  Many current expert systems are quite impressive and even
useful without it.  However, many important tasks require common sense
knowledge and reasoning ability. This lecture describes some of this
knowledge and ability and discusses what kinds of tasks require it.

	Common sense knowledge includes the following:

	1. General facts about how events occur in time and affect situations.

	2. Facts about the ability of actions to achieve goals.

	3. Concurrent events.

	4. Knowledge and belief and ways of obtaining knowledge.

	5. Physical objects, their shapes, their construction and
destruction, and their motion.

	6. Naive or common sense physics.

	Little of this knowledge is included any present expert systems,
and that is usually represented in such a way that it can only be
used to achieve specific goals.  Much human common sense knowledge is
available in purpose-independent forms, and this will be required in
many future AI systems as well.

	Common sense reasoning includes deductive logical reasoning,
inductive reasoning, non-monotonic
reasoning (a new area of research), and obtaining facts by observation.

Biographical sketch:

	John McCarthy is Professor of Computer Science at Stanford
University.  He has been interested in artificial intelligence since
1949 and coined the term in 1955.  His main artificial intelligence
research area has been the formalization of common sense knowledge.
He invented the LISP programming language in 1958, developed the concept of
time-sharing in the late fifties and early sixties, and has worked on
proving that computer programs meet their specifications since the early sixties.
His most recent theoretical development is the circumscription method
of non-monotonic reasoning since 1978.

	Tentatively I will need a reservation for the nights of
October 19 and 20, although I may not be able to come until the
20th.

.sgn

cc: W. W. Bledsoe

	Tentatively I will need a reservation for the nights of
October 19 and 20, although I may not be able to come until the
20th.

.sgn

cc: W. W. Bledsoe